Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
271	PDF Document Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2014-10-12 12:01:50 Finite automata Tree automaton Tree Formal languages Model checking
272	PDF Document Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2001-04-28 18:09:14 Combinatorics on words Geometric group theory Formal languages Group theory Hyperbolic geometry Hyperbolic group Presentation of a group Omega language Cayley graph Structure KnuthBendix completion algorithm Context-sensitive grammar
273	Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2011-03-01 17:34:28 Software Compiler construction Compiler optimization Instruction scheduling Dynamic random-access memory Compiler Program optimization Formal methods Programming language implementation Software engineering Computing
274	Algorithms on Strings Maxime Crochemore Christophe Hancart Thierry Lecroq Add to Reading List Source URL: monge.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:13 Combinatorics on words String String matching algorithms Automata theory Pattern matching Suffix array String searching algorithm Suffix tree Alphabet Formal languages Combinatorics Mathematics
275	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
276	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
277	Delft University of Technology Software Engineering Research Group Technical Report Series Parse Table Composition Separate Compilation and Binary Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-12-30 16:24:40 Compiler construction Computing Parsing Automata theory Models of computation LR parser Formal grammar Parsing table Compiler-compiler Formal languages Programming language implementation Software engineering
278	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
279	Compiler I: Syntax Analysis Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 10: Compiler I: Syntax Analysis Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:27 Compiler construction Parsing Procedural programming languages Compiler Syntax ALGOL 68 Programming language Lexical analysis Formal language Software engineering Computing Programming language implementation
280	Investigations on Automata and Languages over a Unary Alphabet Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy Add to Reading List Source URL: pighizzini.di.unimi.it Language: English - Date: 2014-08-01 10:23:11 Applied mathematics Automata theory Algebraic structures Computational complexity theory Unary language Nested word Formal languages Mathematics Theoretical computer science

UPDATE